projects / giada.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9da8d5f) | patch
Refresh patch.
authorJaromír Mikeš <mira.mikes@seznam.cz>
Fri, 2 Sep 2016 08:03:37 +0000 (10:03 +0200)
committerJaromír Mikeš <mira.mikes@seznam.cz>
Fri, 2 Sep 2016 08:03:37 +0000 (10:03 +0200)
commitd3311ddc264d1648e0d75c279d84ba0829f7e602
treebe925b9edbec0df2ba4283d035da88191bf1e50ftree | snapshot
parent9da8d5f18c4dcb9f09247a1ca67c754e2e86e8fdcommit | diff
Refresh patch.
debian/patches/02-rtmidi-pkgconfig.patch diff | blob | history
debian/patches/series diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.